Existential definability of modal frame classes
نویسنده
چکیده
A class of Kripke frames is called modally definable if there is a set of modal formulas such that the class consists exactly of frames on which every formula from that set is valid, i. e. globally true under any valuation. Here, existential definability of Kripke frame classes is defined analogously, by demanding that each formula from a defining set is satisfiable under any valuation. This is equivalent to the definability by the existential fragment of modal language enriched with the universal modality. A model theoretic characterization of this type of definability is given.
منابع مشابه
A generalization of modal definability
Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models is usually called modally definable if there is a set of modal formulas such that a class consists exactly of models on which every formula of that set is globally true, i. e. universally quantified standard translations of these formulas to the corresponding first order la...
متن کاملModal definability of first-order formulas with free variables and query answering
We present an algorithmically efficient criterion of modal definability for first-order existential conjunctive formulas with several free variables. Then we apply it to establish modal definability of some family of first-order ∀∃-formulas. Finally, we use our definability results to show that, in any expressive description logic, the problem of answering modally definable conjunctive queries ...
متن کاملTerm Definable Classes of Boolean Functions and Frame Definability in Modal Logic
We establish a connection between term definability of Boolean functions and definability of finite modal frames. We introduce a bijective translation between functional terms and uniform degree-1 formulas and show that a class of Boolean functions is defined by functional terms if and only if the corresponding class of Scott-Montague frames is defined by the translations of these functional te...
متن کاملFrame Correspondences in Modal Predicate Logic
Understanding modal predicate logic is a continuing challenge, both philosophical and mathematical. In this paper, I study this system in terms of frame correspondences, finding a number of definability results using substitution methods, including new analyses of axioms in intermediate intuitionistic predicate logics. The semantic arguments often have a different flavour from those in proposit...
متن کاملModal Definability Based on Łukasiewicz Validity Relations
We study two notions of definability for classes of relational structures based on modal extensions of Łukasiewicz finitely-valued logics. The main results of the paper are the equivalent of the Goldblatt Thomason theorem for these notions of definability.
متن کامل